HAVERAAEN, MAGNE: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

High-Performance Design Patterns for Modern Fortran

Haveraaen, Magne, Morris, Karla, Rouson, Damian, Radhakrishnan, Hari, Carson, Clayton

Journal:

Scientific Programming

Year:

2015

Language:

english

File:

PDF, 2.67 MB

english, 2015

2

Use of coordinate-free numerics in elastic wave simulation

Helmer André Friis, Tor Arne Johansen, Magne Haveraaen, Hans Munthe-Kaas, Åsmund Drottning

Journal:

Applied Numerical Mathematics

Year:

2001

Language:

english

File:

PDF, 845 KB

english, 2001

3

[ACM Press the 1st International Workshop - Denver, Colorado (2013.11.17-2013.11.21)] Proceedings of the 1st International Workshop on Software Engineering for High Performance Computing in Computational Science and Engineering - SE-HPCCSE '13 - High-performance design patterns for modern Fortran

Haveraaen, Magne, Morris, Karla, Rouson, Damian

Year:

2013

Language:

english

File:

PDF, 691 KB

english, 2013

4

Specifying with syntactic theory functors

Haveraaen, Magne, Roggenbach, Markus

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2020

File:

PDF, 556 KB

2020

5

Axiom-Based Transformations: Optimisation and Testing

Anya Helene Bagge, Magne Haveraaen

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 290 KB

english, 2009

6

Interfacing Concepts: Why Declaration Style Shouldn't Matter

Anya Helene Bagge, Magne Haveraaen

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 218 KB

english, 2010

7

Domain-Specific Optimisation with User-Defined Rules in CodeBoost

Otto Skrove Bagge, Magne Haveraaen

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 148 KB

english, 2003

8

Computable scalar fields: A basis for PDE software

Magne Haveraaen, Helmer André Friis, Hans Munthe-Kaas

Journal:

The Journal of Logic and Algebraic Programming

Year:

2005

Language:

english

File:

PDF, 414 KB

english, 2005

9

A Hardware Independent Parallel Programming Model

Eva Burrows, Magne Haveraaen

Journal:

The Journal of Logic and Algebraic Programming

Year:

2009

Language:

english

File:

PDF, 503 KB

english, 2009

10

[Lecture Notes in Computer Science] Recent Trends in Data Type Specification Volume 1130 || The lambda calculus as an abstract data type

Haveraaen, Magne, Owe, Olaf, Dahl, Ole-Johan

Year:

1996

Language:

english

File:

PDF, 312 KB

english, 1996

11

[IEEE 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation - Edmonton, Alberta, Canada (2009.09.20-2009.09.21)] 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation - Concepts as Syntactic Sugar

David, Valentin, Haveraaen, Magne

Year:

2009

Language:

english

File:

PDF, 307 KB

english, 2009

12

Computation Algebras

WALICKI, MICHAL, HAVERAAEN, MAGNE, MELDAL, SIGURD

Journal:

Mathematical Structures in Computer Science

Year:

2001

Language:

english

File:

PDF, 756 KB

english, 2001

13

[ACM Press the 2014 International Conference - Västerås, Sweden (2014.09.15-2014.09.16)] Proceedings of the 2014 International Conference on Generative Programming: Concepts and Experiences - GPCE 2014 - Specializing planners for hierarchical multi-way dataflow constraint systems

Järvi, Jaakko, Foust, Gabriel, Haveraaen, Magne

Year:

2014

Language:

english

File:

PDF, 415 KB

english, 2014

14

[ACM Press Companion to the 23rd ACM SIGPLAN conference - Nashville, TN, USA (2008.10.19-2008.10.23)] Companion to the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA Companion '08 - Axiom-based testing for C++

Bagge, Anya Helene, David, Valentin, Haveraaen, Magne

Year:

2008

Language:

english

File:

PDF, 121 KB

english, 2008

15

[ACM Press Companion to the 23rd ACM SIGPLAN conference - Nashville, TN, USA (2008.10.19-2008.10.23)] Companion to the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA Companion '08 - Testing with concepts and axioms in C++

Bagge, Anya Helene, David, Valentin, Haveraaen, Magne

Year:

2008

Language:

english

File:

PDF, 110 KB

english, 2008

16

[ACM Press the 2014 ACM SIGAda annual conference - Portland, Oregon, USA (2014.10.18-2014.10.21)] Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology - HILT '14 - Specification of generic APIs, or

Bagge, Anya Helene, Haveraaen, Magne

Year:

2014

Language:

english

File:

PDF, 843 KB

english, 2014

17

[ACM Press the 5th international conference - Portland, Oregon, USA (2006.10.22-2006.10.26)] Proceedings of the 5th international conference on Generative programming and component engineering - GPCE '06 - Stayin' alert:

Bagge, Anya Helene, David, Valentin, Haveraaen, Magne, Kalleberg, Karl Trygve

Year:

2006

Language:

english

File:

PDF, 209 KB

english, 2006

18

[ACM Press Companion to the 23rd ACM SIGPLAN conference - Nashville, TN, USA (2008.10.19-2008.10.23)] Companion to the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA Companion '08 - JAxT and JDI

Haveraaen, Magne, Kalleberg, Karl Trygve

Year:

2008

Language:

english

File:

PDF, 185 KB

english, 2008

19

[ACM Press the 8th ACM SIGPLAN workshop - Copenhagen, Denmark (2012.09.12-2012.09.12)] Proceedings of the 8th ACM SIGPLAN workshop on Generic programming - WGP '12 - Expressing multi-way data-flow constraint systems as a commutative monoid makes many of their properties obvious

Järvi, Jaakko, Haveraaen, Magne, Freeman, John, Marcus, Mat

Year:

2012

Language:

english

File:

PDF, 654 KB

english, 2012

20

[ACM Press the 7th workshop - Philadelphia, Pennsylvania, USA (2012.01.28-2012.01.28)] Proceedings of the 7th workshop on Declarative aspects and applications of multicore programming - DAMP '12 - Programmable data dependencies and placements

Burrows, Eva, Haveraaen, Magne

Year:

2012

Language:

english

File:

PDF, 864 KB

english, 2012

21

Coordinate-free numerics: all your variation points for free?

Haveraaen, Magne, Friis, Helmer Andre

Journal:

International Journal of Computational Science and Engineering

Year:

2009

Language:

english

File:

PDF, 129 KB

english, 2009

22

An Algebraic Programming Style for Numerical Software and Its Optimization

Dinesh, T.B., Haveraaen, Magne, Heering, Jan

Journal:

Scientific Programming

Year:

2000

Language:

english

File:

PDF, 1.44 MB

english, 2000

23

Case Study on Algebraic Software Methodologies for Scientific Computing

Haveraaen, Magne

Journal:

Scientific Programming

Year:

2000

Language:

english

File:

PDF, 1.43 MB

english, 2000

24

Machine and Collection Abstractions for User-Implemented Data-Parallel Programming

Haveraaen, Magne

Journal:

Scientific Programming

Year:

2000

Language:

english

File:

PDF, 1.45 MB

english, 2000

25

[ACM Press the 5th ACM SIGPLAN International Workshop - Philadelphia, PA, USA (2018.06.19-2018.06.19)] Proceedings of the 5th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming - ARRAY 2018 - An array API for finite difference methods

Burrows, Eva, Friis, Helmer André, Haveraaen, Magne

Year:

2018

Language:

english

File:

PDF, 733 KB

english, 2018

26

Coordinate Free Programming of Computational Fluid Dynamics Problems

Grant, Philip W., Haveraaen, Magne, Webster, Michael F.

Journal:

Scientific Programming

Year:

2000

Language:

english

File:

PDF, 1.53 MB

english, 2000

27

[ACM Press the 5th ACM SIGPLAN International Workshop - Philadelphia, PA, USA (2018.06.19-2018.06.19)] Proceedings of the 5th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming - ARRAY 2018 - Proving a core code for FDM correct by 2 + dw tests

Haveraaen, Magne

Year:

2018

Language:

english

File:

PDF, 642 KB

english, 2018